🌸 Bloom Filters

Probabilistic Data Structures, Set Membership, False Positives, Space Efficiency

SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·13h
🗂️Vector Databases
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🤝Distributed Consensus
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·2h
🔐Quantum Security
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·4h
🔄Sync Engine
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·3h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2h·
Discuss: DEV
📐Vector Dimensionality
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·10h
🔍RegEx Engines
Debugging the One-in-a-Million Failure: Migrating Pinterest’s Search Infrastructure to Kubernetes
medium.com·22h
👁️Observatory Systems
Binary Search in a 2D Matrix
mmhaskell.com·3d
📐Error Bounds
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·9h
🔄Reproducible Builds
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Discussing Decision Trees: What Makes a Good Split?
machinelearningmastery.com·2d
🌳Huffman Trees
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·7h·
Discuss: Hacker News
💻Local LLMs
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·1d·
Discuss: Hacker News, r/programming
⚡Redis Internals
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
How AI Detects Cancer in Whole Slide Images
hackernoon.com·22h
🧠Machine Learning
Day 4 of Learning System Design: Mastering Consistent Hashing
dev.to·5h·
Discuss: DEV
🌐Distributed Hash
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·22h·
Discuss: Hacker News
✨Algebraic Effects